#!/bin/bash

manpath=/usr/local/share/man/man7
if [ ! -d $manpath ]; then
    sudo mkdir -p $manpath
fi

sudo cp -r man7/*.7 $manpath
